∫ sec³xdx